<?php

function foo(): DateTime {
}
